School of Computer Science BCS accreditation 2021 - 2026
[Home]
Software Engineering MEng (Hons) - 3.1.4 Knowledge and understanding of mathematical and/or statistical principles
Return to programme overview.
COMP11120 Mathematical Techniques for Computer Science
The course consists of teaching such mathematical principles.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP11212 Fundamentals of Computation
The course exposes students to mathematical treatments of basic topics such as computability and complexity. It also gives experience in defining and using formal systems and notations (e.g. grammars), and reasoning about such systems.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP12111 Fundamentals of Computer Engineering
Basic Boolean logic and binary arithmetic and the application to the design of digital systems.
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP13212 Data Science
The course covers statistical principles, including quantification of uncertainty and hypothesis testing. Probabilistic reasoning including Bayesian reasoning is covered.
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP15111 Fundamentals of Computer Architecture
Theoretical analysis, algebra and statistics is fundamental to the course.
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP26020 Programming Languages & Paradigms
Some mathematical formalism in relation to languages and compilers is introduced to illustrate key concepts
Assesement : Examination
Assesement : Examination
COMP26120 Algorithms and Data Structures
The course relies on considerable mathematical foundations, for performance analysis and correctness arguments.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP28112 Distributed Systems
Not applicable.
Assesement : Not Assessed
Assesement : Not Assessed
COMP30040 Third Year Project Laboratory
Evaluation of some projects may require robust statistical analysis. Some projects require significant amounts of applied maths and logic.
Assesement : Individual coursework
Assesement : Individual coursework